package dpll.ast;

import dpll.fnc.IVisitor;


public class NodoBiCondicion extends NodoOpBi {

	public NodoBiCondicion(IASTNode pIz, IASTNode pDc) {
		super(pIz, pDc);
	}

	@Override
	public <T> T accept(IVisitor<T> visitor) {
		return visitor.visitBiCondicion(this);
	}
	
	@Override
    public String toString() {
            return "(SISOLOSI " + GetIz().toString() + "  " + GetDc().toString() + ")";
    }
	
	
}
